Local-variable type inference